Specification Predicates with Explicit Dependency Information
Paper in proceedings, 2008

Author

Richard Bubel

Chalmers, Computer Science and Engineering (Chalmers)

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers)

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Peter Schmitt

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008

1613-0073 (ISSN)

Vol. 372 28-43

Subject Categories

Software Engineering

Computer Science

More information

Created

10/6/2017