Search

You searched for: Auteur Henglein, Fritz Remove constraint Auteur: Henglein, Fritz
1 - 2 of 2
Number of results to display per page

Search Results

1. Automatic Program Development
thumbnail
Full text!
Author:
Danvy, Olivier; Henglein, Fritz; Mairson, Harry; Danvy, Olivier; Mairson, Harry; Paige, Robert A.; Henglein, Fritz; Pettorossi, Alberto
Publisher:
Springer Netherlands 2008
Format:
e-book
2. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Fritz Henglein; Shoham, Sharon; Vizel, Yakir
Publisher:
Springer International Publishing 2021
Format:
e-book