Suchergebnisse - Bugariu, Alexandra | OPAC THWS

1

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version) von Bugariu, Alexandra, Ter-Gabrielyan, Arshavir, Müller, Peter

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers von Bugariu, Alexandra, Ter-Gabrielyan, Arshavir, Müller, Peter

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version) von Bugariu, Alexandra, Ter-Gabrielyan, Arshavir, Müller, Peter

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Automatically Testing String Solvers von Bugariu, Alexandra, Müller, Peter

Volltext bestellen

Dataset

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version) von Bugariu, Alexandra, Ter-Gabrielyan, Arshavir, Müller, Peter

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version) von Bugariu, Alexandra, Ter-Gabrielyan, Arshavir, Müller, Peter

Volltext bestellen

Dataset

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: