Formal Techniques for Safety-Critical Systems 4th International W

Formal Techniques for Safety-Critical Systems - 9783319295091

Artho - Formal Techniques for Safety-Critical Systems Third Internat - X555z

Artho - Formal Techniques for Safety-Critical Systems 6th Internatio - X555z

Weyns - Agent Environments for Multi-Agent Systems IV 4th Internatio - X555z

Formal Techniques for Safety-critical Systems : 4th International Workshop, F...

De Werra - Operations Research and Enterprise Systems 4th Internatio - X555z

Leue - Formal Methods for Industrial Critical Systems 12th Internatio - X555z