%0 Conference Paper %1 conf/ifip/AshcroftW77 %A Ashcroft, Edward A. %A Wadge, William W. %B IFIP Congress %D 1977 %K dblp %P 723-726 %T Intermittent Assertion Proofs in Lucid. %U http://dblp.uni-trier.de/db/conf/ifip/ifip1977.html#AshcroftW77

@inproceedings{conf/ifip/AshcroftW77, added-at = {2002-01-03T00:00:00.000+0100}, author = {Ashcroft, Edward A. and Wadge, William W.}, biburl = {https://www.bibsonomy.org/bibtex/2a63f4d9d243df239065d2ed69054991b/dblp}, booktitle = {IFIP Congress}, date = {2002-01-03}, description = {dblp}, interhash = {f769cf4370b52b67b9a100acf5830157}, intrahash = {a63f4d9d243df239065d2ed69054991b}, keywords = {dblp}, pages = {723-726}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Intermittent Assertion Proofs in Lucid.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip1977.html#AshcroftW77}, year = 1977 }