Login / Signup

Formalization of Invariant Patterns for the Invariant Refinement Method.

Tomás BuresIlias GerostathopoulosJaroslav KezniklFrantisek PlasilPetr Tuma
Published in: Software, Services, and Systems (2015)
Keyphrases