()
- Department
- Major(s)
- -
Co-researchers
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 21-29 of 29 (Search time: 0.001 seconds).
Date issued
Type
Conference
International Symposium on Formal Methods, 2014-05-12
Conference
INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS, 2014-04-05
Conference
International Conference on Rewriting Techniques and Applications, 2013-06-24
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
Conference
International Conference on Formal Engineering Methods, 2011-10-26
Conference
Computer Aided Verification, 2011-07-14
1
2