Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Nicolás Rosner
Latest
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
Cite
×