DOI10.1109/TC.2007.1026zbMath1390.68434MaRDI QIDQ4564190
Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana
Publication date: 12 June 2018 Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)