iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/wadt/BergHJP99.xml
Joachim van den Berg Marieke Huisman Bart Jacobs 0001 Erik Poll A Type-Theoretic Memory Model for Verification of Sequential Java Programs. 1-21 1999 conf/wadt/1999 WADT db/conf/wadt/wadt1999.html#BergHJP99 https://doi.org/10.1007/978-3-540-44616-3_1