Model-Checking C Programs against JML-like Specification Language.

Sun, 01 Jan 2012 00:00:00 +0100

Masahiro Sakai , Kohei Maruchi, Takeo Imai:
Model-Checking C Programs against JML-like Specification Language. APSEC 2012: 174-183