Alloy Meets the Algebra of Programming : A Case Study
No Thumbnail Available
Files
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
305-326 p. ; 576ko.
Keywords
Algèbre de programmation, Vérification de modèles (informatique), Logiciels -- Vérification