한글
English
日本語
中文
Русский
עברית
ไทย
Française
Deutsch
Español
1
![Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]](/Users/Baul/Images/book.png)
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
2
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
3
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
4
Xiao, Wei.
| Boston University |
2021
5
Biswal, Shruti.
| Iowa State University |
2021
6
Carrillo, Estefany.
| University of Maryland, College Park |
2021
7
Koenig, Jeremie.
| Yale University |
2020
Sort
Refine
Format
Author
- VanHattum, Alexa.Computer Science. (3+)
- Xiao, Wei. (1+)
- Koenig, Jeremie. (1+)
- Carrillo, Estefany. (1+)
- Biswal, Shruti. (1+)
Publisher
- Cornell University. (3+)
- Yale University (1+)
- University of Maryland, College Park (1+)
- Iowa State University (1+)
- Boston University (1+)
Year
Language