Supporting Algebraic Program Derivation by PVS

R. Behnke, R. Berghammer, S. Magnussen

Originalsprache	Englisch
Seiten	22-40
Seitenumfang	19
Publikationsstatus	Veröffentlicht - 1998
Extern publiziert	Ja
Veranstaltung	Proceedings of the Workshop on Tools for System Development and Verification 1996 - Bremen, Deutschland Dauer: 03.06.1996 → 05.06.1996

Tagung, Konferenz, Kongress	Proceedings of the Workshop on Tools for System Development and Verification 1996
Land/Gebiet	Deutschland
Ort	Bremen
Zeitraum	03.06.96 → 05.06.96

Zitieren

@conference{fd405052b163459c99837415dc17909a,

title = "Supporting Algebraic Program Derivation by PVS",

author = "R. Behnke and R. Berghammer and S. Magnussen",

year = "1998",

language = "English",

pages = "22--40",

note = "Proceedings of the Workshop on Tools for System Development and Verification 1996 ; Conference date: 03-06-1996 Through 05-06-1996",

}