| stats |
|
|
| area: comp.realtime | ||
| from | to | date | subject |
|---|---|---|---|
| markh@csd4.csd.uwm.edu (Mark William Hopkins) | ALL | 1991-04-16 19:35:40 | Re: formal methods for verifying/specifying software |
| kprasad@caip.rutgers.edu (K. Venkatesh Prasad) | comp.realtime | 1991-04-05 16:43:24 | formal methods for verifying/specifying software |
|
|
Email questions or comments to sysop@ipingthereforeiam.com
All parts of this website painstakingly hand-crafted in the U.S.A.!
IPTIA BBS/MUD/Terminal/Game Server List, © 2025 IPTIA Consulting™.