%0 Conference Paper %1 conf/ifip2/Lamsweerde77 %A van Lamsweerde, Axel %B Formal Description of Programming Concepts %D 1977 %E Neuhold, Erich J. %I North-Holland %K dblp %P 609-620 %T From Verifying Termination to Guaranteeing it: A Case Study. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1977.html#Lamsweerde77 %@ 0-444-85107-0

@inproceedings{conf/ifip2/Lamsweerde77, added-at = {2019-01-21T00:00:00.000+0100}, author = {van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2afb28e0117b4c9a064f1aabcbe9c8000/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1977}, editor = {Neuhold, Erich J.}, interhash = {d579cb14d16cd38dd322e8c14720d8d4}, intrahash = {afb28e0117b4c9a064f1aabcbe9c8000}, isbn = {0-444-85107-0}, keywords = {dblp}, pages = {609-620}, publisher = {North-Holland}, timestamp = {2019-01-22T11:39:03.000+0100}, title = {From Verifying Termination to Guaranteeing it: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1977.html#Lamsweerde77}, year = 1977 }