Skip to content

From Universal Logic to Computer Science, and Back.

Razvan Diaconescu

VenueCICTAC
Year2014
ProceedingsICTAC

Browse the full ICTAC paper archive.