%0 Conference Paper %1 conf/ecai/TreurW94 %A Treur, Jan %A Willems, Mark %B ECAI %D 1994 %E Cohn, Anthony G. %I John Wiley and Sons, Chichester %K dblp %P 745-749 %T A Logical Foundation for Verification. %U http://dblp.uni-trier.de/db/conf/ecai/ecai94.html#TreurW94

@inproceedings{conf/ecai/TreurW94, added-at = {2019-07-31T00:00:00.000+0200}, author = {Treur, Jan and Willems, Mark}, biburl = {https://www.bibsonomy.org/bibtex/27a81e4cb1d7603eddcaef76c67c9f886/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1994}, editor = {Cohn, Anthony G.}, interhash = {a805feb34b2834cec9fb0453eea0918d}, intrahash = {7a81e4cb1d7603eddcaef76c67c9f886}, keywords = {dblp}, pages = {745-749}, publisher = {John Wiley and Sons, Chichester}, timestamp = {2024-04-09T18:46:48.000+0200}, title = {A Logical Foundation for Verification.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai94.html#TreurW94}, year = 1994 }