Software Verification Using k−Induction

Software Verification Using k−Induction

Show other versions (1)
Bibliographic Details
Main Authors: Donaldson, A, Haller, L, Kroening, D, Ruemmer, P
Format: Conference item
Published: Springer 2011
Search Result 1
Software verification using k-induction

Software verification using k-induction by Donaldson, A, Haller, L, Kroening, D, Rummer, P

Published 2011
Conference item
Show all versions (2)

Similar Items