On the composition and decomposition of assertions.
Edición de la obra On the composition and decomposition of assertions
| Autor | Glynn Winskel |
|---|---|
| Editorial | University of Cambridge, Computer Laboratory |
| Fecha de publicación | 1984 |
| Lugar | Cambridge |
| Idioma | inglés |
| Páginas | 35 |
| Serie | Technical report -- No.59 |
| Número de Cutter | W777o |