Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software. The KeY Approach

Bokus

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs w...

1 102.00 kr

Liknande produkter