Loading...
Please wait, while we are loading the content...
Similar Documents
Towards heterogeneous formal specifications (1996)
| Content Provider | CiteSeerX |
|---|---|
| Author | Bernot, Gilles Coudert, Sophie Gall, Pascale Le |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 1996-01-01 |
| Publisher Institution | In AMAST’96, Munich |
| Access Restriction | Open |
| Subject Keyword | Dedicated Specification Framework Structured Specification Towards Heterogeneous Formal Specification Modular Proof Heterogeneous Specification Module Several Specification Approach Heterogeneous Modular Specification Algebraic Specification Community Single System Specification Specification Module Big Software System Heterogeneous Framework Inference System Classical Notion |
| Content Type | Text |
| Resource Type | Article |