Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642284113, 9783642284120
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

2012 ◽  
pp. 139-159 ◽  
Author(s):  
Mihai Codescu ◽  
Fulya Horozal ◽  
Michael Kohlhase ◽  
Till Mossakowski ◽  
Florian Rabe ◽  
...  
Keyword(s):  
Logical Frameworks ◽  
Tool Set

scholarly journals New Results on Timed Specifications

2012 ◽  
pp. 175-192 ◽  
Author(s):  
Timothy Bourke ◽  
Alexandre David ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
Didier Lime ◽  
...  

A Proof Theoretic Interpretation of Model Theoretic Hiding

2012 ◽  
pp. 118-138 ◽  
Author(s):  
Mihai Codescu ◽  
Fulya Horozal ◽  
Michael Kohlhase ◽  
Till Mossakowski ◽  
Florian Rabe
Load More ...
Sign in / Sign up

Export Citation Format

Share Document