DOI10.1109/TC.2012.252zbMath1365.68324MaRDI QIDQ5274492
Robert M. Hierons
Publication date: 12 July 2017 Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Mathematics Subject Classification ID
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)