Augusto, Juan Carlos and Gomez, Rodolfo
(2002)
A Temporal Logic View of Paradigm Specifications.
In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy.
(doi:http://doi.acm.org/10.1145/568760.568847)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
(Contact us about this Publication)
|
- Depositors only (login required):