Specification Predicates with Explicit Dependency Information
Paper i proceeding, 2008

Författare

Richard Bubel

Chalmers, Data- och informationsteknik

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Reiner Hähnle

Chalmers, Data- och informationsteknik

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Peter Schmitt

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

1613-0073 (ISSN)

Vol. 372 28-43

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)