Formal Techniques for Java-Like Programs (FTfJP) (bibtex)
@inproceedings{CoglioEA04, author = {A. Coglio and M. Huisman and J. Kiniry and P. M\"uller and E. Poll}, title = {Formal Techniques for {J}ava-Like Programs {(FTfJP)}}, booktitle = {Object-Oriented Technology. {ECOOP}~2004 Workshop Reader}, year = {2005}, editor = {J. Malenfant and B. M. {\O}stvold}, series = {Lecture Notes in Computer Science}, volume = {3344}, pages = {76--83}, publisher = {Springer-Verlag}, urltopdf = {} }
Powered by bibtexbrowser
You are browsing sechair-bib.bib with bibtexbrowser