Personensuche
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
1
Transforming Big-Step to Small-Step Semantics Using Interpr..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
A Rule-Based Approach for Designing and Composing Abstract ..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
3
Cost Analysis of Smart Contracts Via Parametric Resource An..:
, In:
?
Proceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges ,
7
Analyzing service-oriented systems using their data and str..:
, In:
?
Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems ,
8
Exploring the impact of inaccuracy and imprecision of QoS a..:
, In:
?
10
Verification, model checking, and abstract interpretation
11th international conference, VMCAI 2010, Madrid, Spain, J...
Lecture notes in computer science ; 5944