Sökresultat

Computer Aided Verification

Hämta fulltext

Computer Aided Verification

Hämta fulltext

Computer Aided Verification

Hämta fulltext

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Hämta fulltext

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Hämta fulltext

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Hämta fulltext

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Hämta fulltext

Computer Aided Verification

Hämta fulltext

Fundamental Approaches to Software Engineering

Hämta fulltext

Reversible Computation: Extending Horizons of Computing

Hämta fulltext

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2... av Alessandra Russo, Andy Schürr

Hämta fulltext

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... av Dirk Beyer, Marieke Huisman

Hämta fulltext

Programming Languages and Systems

Hämta fulltext

Supercomputing Frontiers

Hämta fulltext

Computer Aided Verification

Hämta fulltext

Open Computer Science

Hämta fulltext

Journal of Problems in Computer Science and Information Technologies

Hämta fulltext