![](https://www.pdfsearch.io/img/1a7408247cb720680fa16bee8707617c.jpg) Date: 2005-01-30 14:52:17
| | Formal Techniques for Java-like Programs (FTfJP) Alessandro Coglio1 , Marieke Huisman2 , Joseph R. Kiniry3 , Peter M¨ uller4 , and Erik Poll3 1Add to Reading ListSource URL: www.kestrel.eduDownload Document from Source Website File Size: 113,68 KBShare Document on Facebook
|