Works matching DE "VERISOFT Systems Inc."

Compositional Analysis of C/C++ Programs with VeriSoft.

Published in:

Acta Informatica, 2006, v. 43, n. 1, p. 45, doi. 10.1007/s00236-006-0016-x

By:

• Dingel, Juergen

Publication type:

Article