Advances in Formal Methods

146 pages paperback

nonfiction computer science science medium-paced