%0 Journal Article %1 journals/iee/SimpsonBG93 %A Simpson, Todd %A Birtwistle, Graham M. %A Graham, Brian T. %D 1993 %J Softw. Eng. J. %K dblp %N 3 %P 137-153 %T Towards a verified MiniSML/SECD system. %U http://dblp.uni-trier.de/db/journals/iee/iee-sej8.html#SimpsonBG93 %V 8

@article{journals/iee/SimpsonBG93, added-at = {2020-03-11T00:00:00.000+0100}, author = {Simpson, Todd and Birtwistle, Graham M. and Graham, Brian T.}, biburl = {https://www.bibsonomy.org/bibtex/2c5ad813285a5e52f829a9374204c8f7e/dblp}, ee = {https://doi.org/10.1049/sej.1993.0019}, interhash = {9139d36077cd02842c23a72354e3d812}, intrahash = {c5ad813285a5e52f829a9374204c8f7e}, journal = {Softw. Eng. J.}, keywords = {dblp}, number = 3, pages = {137-153}, timestamp = {2020-03-12T11:40:14.000+0100}, title = {Towards a verified MiniSML/SECD system.}, url = {http://dblp.uni-trier.de/db/journals/iee/iee-sej8.html#SimpsonBG93}, volume = 8, year = 1993 }