Informática
Faculté
University of Münster
Münster, AlemaniaPublications en collaboration avec des chercheurs de University of Münster (8)
2024
-
Preface
Communications in Computer and Information Science
-
Preface
Communications in Computer and Information Science
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2023
2015
-
Checking Java assertions using automated test-case generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002
-
Declarative debugging for encapsulated search
Electronic Notes in Theoretical Computer Science