%0 Conference Paper %1 conf/safecomp/WongJ98 %A Wong, Ken %A Joyce, Jeff %B SAFECOMP %D 1998 %E Ehrenberger, Wolfgang D. %I Springer %K dblp %P 345-358 %T Refinement of Safety-Related Hazards into Verifiable Code Assertions. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp98.html#WongJ98 %V 1516 %@ 3-540-65110-1

@inproceedings{conf/safecomp/WongJ98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Wong, Ken and Joyce, Jeff}, biburl = {https://www.bibsonomy.org/bibtex/24e97687fb5770adb6577b8ffeff4d741/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/1998}, editor = {Ehrenberger, Wolfgang D.}, ee = {https://doi.org/10.1007/3-540-49646-7_27}, interhash = {0860bb414799509e0253d4fe5bb7078a}, intrahash = {4e97687fb5770adb6577b8ffeff4d741}, isbn = {3-540-65110-1}, keywords = {dblp}, pages = {345-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:35:27.000+0200}, title = {Refinement of Safety-Related Hazards into Verifiable Code Assertions.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp98.html#WongJ98}, volume = 1516, year = 1998 }