Author:
Lopez Pombo Carlos Gustavo,Frias Marcelo
Publisher
Springer International Publishing
Reference69 articles.
1. Abadi, M. (1988). The Power of Temporal Proofs. Palo Alto, CA 94301, USA (Technical report No. 30).
2. Abadi, M. & Manna, Z. (1990). Nonclausal deduction in first-order temporal logic. Journal of the ACM, 37(2), 279–317.
3. Astesiano, E. & Cerioli, M. (1991). Relationships between logical frameworks. In M. Bidoit & C. Choppy (Eds.), Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Selected Papers (Vol. 655, pp. 126–143). Lecture Notes in Computer Science. Dourdan: Springer.
4. Bergstra, J. A., Heering, J., & Klint, P. (1990). Module algebra. Journal of the ACM, 37(2), 335–372.
5. Booch, G., Rumbaugh, J., & Jacobson, I. (1998). The Unified Modeling Language User Guide. Boston: Addison-Wesley Longman Publishing Co., Inc.