Invariants come from templates

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081192 ◽

2005 ◽

Author(s):

Joni Helin ◽

Pertti Kellomäki

Download Full-text