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.org/rec/conf/wadt/BergHJP99.rdf
Joachim van den Berg et al.: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. (1999) conf/wadt/BergHJP99 10.1007/978-3-540-44616-3_1 A Type-Theoretic Memory Model for Verification of Sequential Java Programs. 4 Joachim van den Berg 1 Marieke Huisman 2 Bart Jacobs 0001 3 Erik Poll 4 1-21 WADT WADT 1999 2000 provenance information for RDF data of dblp record 'conf/wadt/BergHJP99' 2021-04-09T18:56:22+0200