Publication Overview

Eyad Alkassar and Mark A. Hillebrand and Dirk Leinenbach and Norbert Schirmer and Artem Starostin

The Verisoft Approach to Systems Verification

Published in: VSTTE
Year: 2008
Pages: 209-224