Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Deductive Software Verification – The KeY Book
häftad,
2016,
Engelska,
ISBN 9783319498119
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a …
The Logic of Software. A Tasting Menu of Formal Methods
häftad,
2022,
Engelska,
ISBN 9783031081651
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe …