Semantics of first order parametric specifications
Duško ́Pavlovic
Details
| Book Title |
Formal Methods '99 |
| Editor |
J. Woodcock and J. Wing |
| Pages |
155–172 |
| Publisher |
Springer Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
1708 |
| Year |
1999 |
Links
Related pages
|
People |