Filter
Sökt på: Sökresultat
Filter
1 träff
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 …