Formal methods in computer science - Wang, Jiacun; Tepfenhart, William (jt. auth) (Boca Raton: CRC Press, 2020)
Eng
Keywords: Formal methods (Computer science)