![](/img/cover-not-exists.png)
Formalization of Habanero Phasers using Coq
Cogumbreiro, Tiago, Shirako, Jun, Sarkar, VivekLanguage:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2017.02.006
Date:
March, 2017
File:
PDF, 516 KB
english, 2017