%0 Conference Paper %1 conf/amast/TrentelmanH02 %A Trentelman, Kerry %A Huisman, Marieke %B AMAST %D 2002 %E Kirchner, Hélène %E Ringeissen, Christophe %I Springer %K dblp %P 334-348 %T Extending JML Specifications with Temporal Logic. %U http://dblp.uni-trier.de/db/conf/amast/amast2002.html#TrentelmanH02 %V 2422 %@ 3-540-44144-1

@inproceedings{conf/amast/TrentelmanH02, added-at = {2021-04-09T00:00:00.000+0200}, author = {Trentelman, Kerry and Huisman, Marieke}, biburl = {https://www.bibsonomy.org/bibtex/230ff1a7b2f709c7b50065284dbded4a2/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2002}, editor = {Kirchner, Hélène and Ringeissen, Christophe}, ee = {https://doi.org/10.1007/3-540-45719-4_23}, interhash = {2ef4e0ed39ed10abe25d8fd1f1be55f5}, intrahash = {30ff1a7b2f709c7b50065284dbded4a2}, isbn = {3-540-44144-1}, keywords = {dblp}, pages = {334-348}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:11:38.000+0200}, title = {Extending JML Specifications with Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2002.html#TrentelmanH02}, volume = 2422, year = 2002 }