bib.howest.be Zoekresultaten

U zocht naar: Auteur Lal, Akash.

1 - 5 van 5

1. Computer Aided Verification

Auteur:: Enea, Constantin; Lal, Akash
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

2. Computer Aided Verification

Auteur:: Enea, Constantin; Lal, Akash
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

3. Computer Aided Verification

Auteur:: Enea, Constantin; Lal, Akash
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

4. Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Auteur:: Lal, Akash.; Tonetta, Stefano
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

5. Verification, Model Checking, and Abstract Interpretation

Auteur:: D'Souza; D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book