Specification Refinement With System F
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1999
- Journal
- Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683
- Publisher
- Springer-Verlag
- Citation key
- 9450