

Advanced Information Systems Engineering
791,-

Advanced Information Systems Engineering
971,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Testing Software and Systems
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
791,-

Computer Aided Verification
431,-

Advanced Information Systems Engineering
791,-

Advanced Information Systems Engineering
971,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Testing Software and Systems
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
791,-

Computer Aided Verification
431,-















