B-Method
相关论文数: 3
顶级研究者
最高引用论文
Correct‐by‐construction specification to verified code
Ning Ge, Arnaud Dieumegard, Éric Jenn, Laurent Voisin
引用数: 9 • 2018
A Notation for Modeling Jason-Like BDI Agents
Massimo Cossentino, Antonio Chella, Carmelo Lodato, Salvatore Lopes, Patrizia Ribino, Valeria Seidita
引用数: 8 • 2012
Teaching Formal Methods: An Experience Report
Mehrnoosh Askarpour, Marcello M. Bersani
引用数: 7 • 2020