%0 Journal Article %1 journals/sttt/Moore06 %A Moore, J Strother %D 2006 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4-5 %P 359-371 %T Inductive assertions and operational semantics. %U http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#Moore06 %V 8

@article{journals/sttt/Moore06, added-at = {2020-04-02T00:00:00.000+0200}, author = {Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/25d365cf611c45b80a41d506bdfd230eb/dblp}, ee = {https://doi.org/10.1007/s10009-005-0180-2}, interhash = {dbd07794134b3141c3262cba5861e60c}, intrahash = {5d365cf611c45b80a41d506bdfd230eb}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = {4-5}, pages = {359-371}, timestamp = {2020-04-03T11:54:49.000+0200}, title = {Inductive assertions and operational semantics.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#Moore06}, volume = 8, year = 2006 }