

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

Reliable Software Technologies – Ada-Europe 2014
476,-

Reliable Software Technologies - Ada-Europe 2016
584,-

Agent-Oriented Software Engineering XIII
476,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Reliable Software Technologies - Ada-Europe 2017
611,-

Software Engineering and Formal Methods
854,-

Human-Centered Software Engineering
737,-

Automated Technology for Verification and Analysis
584,-

Computational Logic in Multi-Agent Systems
476,-

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

Reliable Software Technologies – Ada-Europe 2014
476,-

Reliable Software Technologies - Ada-Europe 2016
584,-

Agent-Oriented Software Engineering XIII
476,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Reliable Software Technologies - Ada-Europe 2017
611,-

Software Engineering and Formal Methods
854,-

Human-Centered Software Engineering
737,-

Automated Technology for Verification and Analysis
584,-

Computational Logic in Multi-Agent Systems
476,-














