author = { International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Bjoerner, Dines },

title = { Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings },

publisher = {Springer},

isbn = {354057316X},

isbn = {038757316X},

keywords = { Programming (Electronic computers) Congresses , Computer programs Specifications Congresses , Formal languages Semantics Congresses , Computer programming , Formal methods (Computer science) , Konferenzschrift 1993 Nowosibirsk , Konferenzschrift 1993 Nowossibirsk , Formale Spezifikationstechnik , Spezifikationstechnik },

year = {1993},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 735},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }