zbMath1390.68426MaRDI QIDQ1650328
Răzvan Diaconescu
Publication date: 3 July 2018 Published in: Computer Science Journal of Moldova (Search for Journal in Brave) Full work available at URL: http://www.math.md/publications/csjm/issues/v23-n2/11954/
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)
