%0 Conference Paper %1 conf/wift/HeimdahlH98 %A Heimdahl, Mats Per Erik %A Heitmeyer, Constance L. %B WIFT %D 1998 %I IEEE Computer Society %K dblp %P 60- %T Formal Methods For Developing High Assurance Computer Systems: Working Group Report. %U http://dblp.uni-trier.de/db/conf/wift/wift1998.html#HeimdahlH98 %@ 0-7695-0081-1

@inproceedings{conf/wift/HeimdahlH98, added-at = {2023-03-23T00:00:00.000+0100}, author = {Heimdahl, Mats Per Erik and Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/2b53d28db45b594f5c7a64e24c2cbd047/dblp}, booktitle = {WIFT}, crossref = {conf/wift/1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766298}, interhash = {35c5cef5804a781d3c7efa5f756a8a90}, intrahash = {b53d28db45b594f5c7a64e24c2cbd047}, isbn = {0-7695-0081-1}, keywords = {dblp}, pages = {60-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:48:19.000+0200}, title = {Formal Methods For Developing High Assurance Computer Systems: Working Group Report.}, url = {http://dblp.uni-trier.de/db/conf/wift/wift1998.html#HeimdahlH98}, year = 1998 }