Formal Techniques for Java-like Programs (FTfJP) Alessandro Coglio1 , Marieke Huisman2 , Joseph R. Kiniry3 , Peter M¨ uller4 , and Erik Poll3 1 - Marieke - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Techniques for Java-like Programs (FTfJP) Alessandro Coglio1 , Marieke Huisman2 , Joseph R. Kiniry3 , Peter M¨ uller4 , and Erik Poll3 1 Add to Reading List Document Date: 2005-01-30 14:52:17 Open Document File Size: 113,68 KB Share Result on Facebook

Formal Techniques for Java-like Programs (FTfJP) Alessandro Coglio1 , Marieke Huisman2 , Joseph R. Kiniry3 , Peter M¨ uller4 , and Erik Poll3 1Add to Reading List