

Structured Object-Oriented Formal Language and Method
584,-

Structured Object-Oriented Formal Language and Method
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Structured Object-Oriented Formal Language and Method
584,-

Programming Languages and Systems
431,-

Logic Programming and Nonmonotonic Reasoning
584,-

Central European Functional Programming School
584,-

Programming Languages and Systems
1 124,-

Central European Functional Programming School
584,-

Programming Languages
584,-

Structured Object-Oriented Formal Language and Method
584,-

Structured Object-Oriented Formal Language and Method
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Structured Object-Oriented Formal Language and Method
584,-

Programming Languages and Systems
431,-

Logic Programming and Nonmonotonic Reasoning
584,-

Central European Functional Programming School
584,-

Programming Languages and Systems
1 124,-

Central European Functional Programming School
584,-

Programming Languages
584,-













