33794 articles – 26676 Notices  [english version]
.:. Consultation > Par auteur > Akhtar .:.
3 documents classés par :

fulltext access A High-Level Language for Modeling Algorithms and their Properties
Akhtar S., Merz S., Quinson M.
Dans 13th Brazilian Symposium on Formal Methods - SBMF'2010 (2010) [inria-00537779 - version 1]
fulltext access Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
Akhtar S., Merz S., Quinson M.
Dans Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (2010) [inria-00544137 - version 1]
Formal Verification of Distributed Algorithms in +CAL 2.0
Akhtar S.
Master thesis, Master Informatique de Nancy (2008) [inria-00338302 - version 1]