![](/img/cover-not-exists.png)
Model checking large software specifications
Anderson, Richard J., Beame, Paul, Burns, Steve, Chan, William, Modugno, Francesmary, Notkin, David, Reese, Jon D.Volume:
21
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/250707.239127
Date:
November, 1996
File:
PDF, 1.10 MB
english, 1996