Biblio

Export 2 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
A B C D E [F] G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
F
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake, "Proof-Theoretic Semantics of Object-Oriented Specification Constructs", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991. Abstract