Deductive Software Verification The KeY Book

Deductive Software Verification The KeY Book

Bokus

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 large portfolio of - mostly fully automated - analyses: formal veri...

1 322.00 kr

Liknande produkter