articles+ search results

460 articles+ results

View results as:
Number of results to display per page

1. The MIDAS Cloud Platform for Testing SOA Applications

9. TOOLympics 2019: An overview of competitions in formal methods


Books, media, physical & digital resources


Course- and topic-based guides to collections, tools, and services.