Loading...
Please wait, while we are loading the content...
Similar Documents
Proof Scores in the OTS/CafeOBJ method (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Ogata, Kazuhiro Futatsugi, Kokichi |
| Organization | Nec Software Hokuriku |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2003-01-01 |
| Publisher Institution | In Proc. of The 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), volume 2884 of LNCS |
| Access Restriction | Open |
| Subject Keyword | Case Analysis Small One Algebraic Specification Language Proof Score Ots Cafeobj Method Several Case Study Invariant Property Logical Formula |
| Content Type | Text |
| Resource Type | Article |