Assertion checking environment (ACE) for formal verification of C programs
| Year of publication: |
2003
|
|---|---|
| Authors: | Sharma, Babita ; Dhodapkar, S.D. ; Ramesh, S. |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 81.2003, 3, p. 281-290
|