Răzvan Diaconescu
2 published titles
Hiding and behaviour : an institutional approach
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014 Sinaia, Romania, September 4-7, 2014 revised selected papers
(Contributor)
1 edition
- ISBN: 9783319281131
- Springer
- 2015
- Details
