620 followers
NASA Formal Methods 2012 Proceedings - available as e-book w PDFs of chapters http://t.co/rXFWWGph (hard copies: http://t.co/42qyoALl) ^JB
NASA Formal Methods 2012 Proceedings - available as e-book w PDFs of chapters http://t.co/rXFWWGph (hard copies: http://t.co/42qyoALl) ^JB