Software Verification 13th International Conference VSTTE 2021 Ne

Software Verification - 9783030955601

Bochtis - 13th EFITA International Conference - New hardback or cased - X555z

Carroll - Software Business 13th International Conference ICSOB 202 - X555z

Csap - Computer Supported Education 13th International Conference - X555z

Shoham - Computer Aided Verification 34th International Conference - X555z

Katsaros - Runtime Verification 23rd International Conference RV 20 - X555z