1 book • 1 series
Introducing Formal Methods (Ellis Horwood Series in Computers and Their Applications)