%0 Conference Paper %1 conf/amast/BertL91 %A Bert, Didier %A Lafontaine, Christine %B AMAST %D 1991 %E Nivat, Maurice %E Rattray, Charles %E Rus, Teodor %E Scollo, Giuseppe %I Springer %K dblp %P 467-477 %T Integration of Semantical Verification Conditions in a Specification Language Definition. %U http://dblp.uni-trier.de/db/conf/amast/amast1991.html#BertL91 %@ 3-540-19797-4

@inproceedings{conf/amast/BertL91, added-at = {2003-02-18T00:00:00.000+0100}, author = {Bert, Didier and Lafontaine, Christine}, biburl = {https://www.bibsonomy.org/bibtex/2003821428b84c9c61c713acd40999435/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1991}, date = {2003-02-18}, description = {dblp}, editor = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Giuseppe}, interhash = {72f418542721d5d774c35a859d5005d7}, intrahash = {003821428b84c9c61c713acd40999435}, isbn = {3-540-19797-4}, keywords = {dblp}, pages = {467-477}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-18T00:00:00.000+0100}, title = {Integration of Semantical Verification Conditions in a Specification Language Definition.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast1991.html#BertL91}, year = 1991 }