%0 Conference Paper %1 conf/zum/SmithW05 %A Smith, Graeme %A Wildman, Luke %B ZB %D 2005 %E Treharne, Helen %E King, Steve %E Henson, Martin C. %E Schneider, Steve A. %I Springer %K dblp %P 85-103 %T Model Checking Z Specifications Using SAL. %U http://dblp.uni-trier.de/db/conf/zum/zb2005.html#SmithW05 %V 3455 %@ 3-540-25559-1

@inproceedings{conf/zum/SmithW05, added-at = {2022-04-07T00:00:00.000+0200}, author = {Smith, Graeme and Wildman, Luke}, biburl = {https://www.bibsonomy.org/bibtex/299ff0021e28791a3aa2befdbf74aed92/dblp}, booktitle = {ZB}, crossref = {conf/zum/2005}, editor = {Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A.}, ee = {https://doi.org/10.1007/11415787_6}, interhash = {d17d25a6e8f5789d044ace22aad839bc}, intrahash = {99ff0021e28791a3aa2befdbf74aed92}, isbn = {3-540-25559-1}, keywords = {dblp}, pages = {85-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:23:50.000+0200}, title = {Model Checking Z Specifications Using SAL.}, url = {http://dblp.uni-trier.de/db/conf/zum/zb2005.html#SmithW05}, volume = 3455, year = 2005 }