Logical Specification and Implementation

Authors:
T. S. E. Maibaum;M. R. Sadler;Paulo A. S. Veloso
Affiliations:
-;-;-
Venue:
Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1984

Citing 0
Cited 3

Interpolation in Modal Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Modal Logic as a Design Notation

IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A language for configuring multi-level specifications

Theoretical Computer Science - Algebraic methodology and software technology

Quantified Score

Hi-index	0.00

Visualization

Abstract