Browsing by Author Carette, Jacques
Showing results 26 to 28 of 28
< previous
Publication Date | Title | Author(s) |
---|---|---|
2016 | Towards Generating Software Modularizations | Schaap, Alexander |
2023 | TYPES OF ALGEBRAIC STRUCTURES IN PROOF ASSISTANT SYSTEMS | Madhusudana, Akshobhya Katte |
Oct-2012 | Validation DSL for client-server applications | Fedorenko, Vitalii M. |
Showing results 26 to 28 of 28
< previous