Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings (Lecture Notes in Computer Science, 405, Band 405)
Ein Sammelband aus dem neunten Workshop zur Softwaretechnik und theoretischen Informatik in Bangalore (1989), der neue Ansätze zu formalen Verifikati ...