Formal Methods and Software Engineering - 9783319478456

Skersys - Information and Software Technologies 18th International C - X555z

Kaafar - Passive and Active Measurement 18th International Conferenc - X555z

Venter - Information and Cyber Security 18th International Conferenc - X555z

Fundamental Approaches to Software Engineering : 18th International Conferenc...

Formal Methods and Software Engineering : 18th International Conference on Fo...

Giannakopoulou - FM 2012 Formal Methods 18th International Symposiu - X555z

Fundamental Approaches to Software Engineering : 18th International Conferenc...