You are here: TUCS > PUBLICATIONS > Publication Search > Duality in Specification Langu...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Duality in Specification Languages: A Lattice Theoretical Approach
Ralph-Johan Back, Joakim von Wright, Duality in Specification Languages: A Lattice Theoretical Approach. 27(7), 1990.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jBavo90b,
title = {Duality in Specification Languages: A Lattice Theoretical Approach},
author = {Back, Ralph-Johan and Wright, Joakim von},
volume = {27},
number = {7},
year = {1990},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium