()
- Department
- Major(s)
- -
Co-researchers
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-4 of 4 (Search time: 0.0 seconds).
Date issued
Type
Applied search limites :
Conference
International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12
Conference
International Symposium on Formal Aspects of Component Software, 2012-09-12
Conference
International Conference on Fundamental Approaches to Software Engineering, 2012-03-26
Conference
International Workshop on Rewriting Logic and Its Applications, page. 29 - 47, 2012-03-24
1