
Verified Software. Theories, Tools and Experiments
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Programming Languages and Systems
584,-

Formal Modeling and Analysis of Timed Systems
584,-

Programming Languages and Systems
431,-

Programming Languages and Systems
674,-

Programming Languages and Systems
611,-

Human-Computer Interaction -- INTERACT 2013
1 124,-

Verified Software. Theories, Tools and Experiments
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Programming Languages and Systems
584,-

Formal Modeling and Analysis of Timed Systems
584,-

Programming Languages and Systems
431,-

Programming Languages and Systems
674,-

Programming Languages and Systems
611,-

Human-Computer Interaction -- INTERACT 2013
1 124,-