Alloy Meets the Algebra of Programming : A Case Study

dc.contributor.author	Oliveira, José N.
dc.contributor.author	Ferreira, Miguel A.
dc.date.accessioned	2022-02-13T10:12:20Z
dc.date.available	2022-02-13T10:12:20Z
dc.date.issued	2013
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/8924
dc.description	305-326 p. ; 576ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Algèbre de programmation	en_US
dc.subject	Vérification de modèles (informatique)	en_US
dc.subject	Logiciels -- Vérification	en_US
dc.title	Alloy Meets the Algebra of Programming : A Case Study	en_US
dc.type	Article	en_US