%0 Conference Paper %1 conf/nato/Zalewski92 %A Zalewski, Janusz %B NATO ASI RTC %D 1992 %E Halang, Wolfgang A. %E Stoyenko, Alexander D. %I Springer %K dblp %P 622-624 %T Formal Methods: Yes but How ? %U http://dblp.uni-trier.de/db/conf/nato/rtc1992.html#Zalewski92 %V 127 %@ 978-3-642-88049-0

@inproceedings{conf/nato/Zalewski92, added-at = {2017-05-12T00:00:00.000+0200}, author = {Zalewski, Janusz}, biburl = {https://www.bibsonomy.org/bibtex/2cda2bf581e76f0474feb90d7c8e89eb1/dblp}, booktitle = {NATO ASI RTC}, crossref = {conf/nato/1992}, editor = {Halang, Wolfgang A. and Stoyenko, Alexander D.}, ee = {https://doi.org/10.1007/978-3-642-88049-0_73}, interhash = {1ac1481c3d2fc5c86a86fa406871c225}, intrahash = {cda2bf581e76f0474feb90d7c8e89eb1}, isbn = {978-3-642-88049-0}, keywords = {dblp}, pages = {622-624}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2017-05-13T11:36:34.000+0200}, title = {Formal Methods: Yes but How ?}, url = {http://dblp.uni-trier.de/db/conf/nato/rtc1992.html#Zalewski92}, volume = 127, year = 1992 }