An Ontology of Specification Patterns for Verification of Concurrent Systems.

Natalia Olegovna Garanina, Vladimir Zubin, Tatiana V. Lyakh, Sergei Gorlatch

Browse the full SoMeT paper archive.