%0 Book %1 JonesCliffB..1990 %A Jones, Cliff B., %C Upper Saddle River and NJ 07458 and USA %D 1990 %I Prentice-Hall %K formal methods %T Systematic Software Development using VDM %X ion and Program Synthesis, volume 75: Math. Studies of Information Processing of Lecture Notes in Computer Science. Springer-Verlag, 1979. Bjo80a D. Bjorner, editor. Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science. Springer-Verlag, 1980. Bjø80b D. Bjørner. Application of formal models. In Data Bases. INFOTECH Proceedings, October 1980. Bjø80c D. Bjørner. Experiments in block-structured goto-modelling: Exits vs. continuations. Bjo80a, pages 216‐247,...

@book{JonesCliffB..1990, abstract = {ion and Program Synthesis, volume 75: Math. Studies of Information Processing of Lecture Notes in Computer Science. Springer-Verlag, 1979. [Bjo80a] D. Bjorner, editor. Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science. Springer-Verlag, 1980. [Bjø80b] D. Bjørner. Application of formal models. In Data Bases. INFOTECH Proceedings, October 1980. [Bjø80c] D. Bjørner. Experiments in block-structured goto-modelling: Exits vs. continuations. [Bjo80a], pages 216‐247,...}, added-at = {2013-10-18T15:41:12.000+0200}, address = {Upper Saddle River and NJ 07458 and USA}, author = {{Jones, Cliff B.}}, biburl = {https://www.bibsonomy.org/bibtex/2e2425ca377062bc809488089765e5437/hlackner}, interhash = {e6e3461cfbe8c8e958b9481e9f734a30}, intrahash = {e2425ca377062bc809488089765e5437}, keywords = {formal methods}, publisher = {Prentice-Hall}, timestamp = {2013-10-18T15:41:12.000+0200}, title = {Systematic Software Development using VDM}, year = 1990 }