Finitary refinement checks for infinitary specifications
A. W. Roscoe
Details
| Book Title |
Proceedings of CPA 2004 |
| Month |
June |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |