ผู้เขียน: Phillip Windley

Ganesh Gopalakrishnan & Phillip Windley: Formal Methods in Computer-Aided Design