

Reliable Software Technologies – Ada-Europe 2014
476,-

Reliable Software Technologies -- Ada-Europe 2013
476,-

Reliable Software Technologies - Ada-Europe 2017
611,-

Reliable Software Technologies - Ada-Europe 2015
476,-

Agent-Oriented Software Engineering XIII
476,-

Software Engineering and Formal Methods
854,-

Verified Software. Theories, Tools, and Experiments
584,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

Reliable Software Technologies – Ada-Europe 2014
476,-

Reliable Software Technologies -- Ada-Europe 2013
476,-

Reliable Software Technologies - Ada-Europe 2017
611,-

Reliable Software Technologies - Ada-Europe 2015
476,-

Agent-Oriented Software Engineering XIII
476,-

Software Engineering and Formal Methods
854,-

Verified Software. Theories, Tools, and Experiments
584,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-















