Specification and design of reactive systems (2000)

by Bilung Lee
Citations:10 - 0 self