NIC
- [
Search
|
FAQ
|
Help
|
Feedback
|
NIC Info
|
Home
]
comp
.specification.*
comp.specification
Languages and methodologies for formal specification.
comp.specification.larch
Larch family of formal specification languages.
comp.specification.misc
Formal specification methods in general.
comp.specification.z
Discussion about the formal specification notation Z.
Back to Top Level
|
Copyright Notice
|
Credits