Reuse of proofs in software verification

Metadaten
Author:	Wolfgang Reif ORCiD GND, Kurt Stenzel GND
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/60769
ISBN:	978-3-540-57529-0OPAC
Parent Title (English):	Foundations of software technology and theoretical computer science: 13th Conference Bombay, India, December 15–17, 1993
Publisher:	Springer
Place of publication:	Berlin [u.a.]
Editor:	Rudrapatna K. Shyamasundar
Type:	Part of a Book
Language:	English
Year of first Publication:	1993
Release Date:	2019/08/27
Tag:	Multidisciplinary
Volume:	761
First Page:	284
Last Page:	293
Series:	Lecture Notes in Computer Science ; 761
DOI:	https://doi.org/10.1007/3-540-57529-4_61
Institutes:	Fakultät für Angewandte Informatik
	Fakultät für Angewandte Informatik / Institut für Informatik
	Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

Open Access