.:. Consultation > Par auteur > Akhtar .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

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]

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]