Browsing by Author VOICU,RAZVAN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 9 to 11 of 11 < previous 
Issue DateTitleAuthor(s)
2007Language-Based Program Verification via Expressive TypesSulzmann, M. ; Voicu, R. 
2005Modeling systems in CLPJaffar, J. ; Santosa, A.E. ; Voicu, R. 
2006Relative safetyJaffar, J. ; Santosa, A.E. ; Voicu, R.