Formal Methods for Trustworthy Computer Systems (FM89): ...
Preview
ANNA Primary participants (project leader, group members): David C. Luckham,
Sriram Sankar, David S. Rosenblum, Randall Neff, Geoffrey O. Mendal, Walter R.
Mann, Neel Madhav, John Kenney. Survey contact: David C. Luckham ...