Suchergebnisse - Gawkowski, Marek | OPAC THWS

1

Bytecode Verification by Model Checking von Basin, David, Friedrich, Stefan, Gawkowski, Marek

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Bytecode Model Checking: An Experimental Analysis von Basin, David, Friedrich, Stefan, Gawkowski, Marek, Posegga, Joachim

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Towards Proof Generating Compilers von Poetzsch-Heffter, Arnd, Gawkowski, Marek

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Verified Bytecode Model Checkers von Basin, David, Friedrich, Stefan, Gawkowski, Marek

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Certifying Compilers based on Formal Translation Contracts von Gawkowski, Marek Jerzy

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Formal framework for proof generating optimizers von Gawkowski, Marek Jerzy

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: