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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642376344, 9783642376351
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Transformation Systems with Incremental Negative Application Conditions

2013 ◽  
pp. 127-142 ◽  
Author(s):  
Andrea Corradini ◽  
Reiko Heckel ◽  
Frank Hermann ◽  
Susann Gottmann ◽  
Nico Nachtigall
Keyword(s):  
Transformation Systems

scholarly journals Bounded Model Checking of Recursive Programs with Pointers in K

2013 ◽  
pp. 59-76 ◽  
Author(s):  
Irina Măriuca Asăvoae ◽  
Frank de Boer ◽  
Marcello M. Bonsangue ◽  
Dorel Lucanu ◽  
Jurriaan Rot
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Recursive Programs

scholarly journals Compiling Logics

2013 ◽  
pp. 111-126 ◽  
Author(s):  
Mihai Codescu ◽  
Fulya Horozal ◽  
Aivaras Jakubauskas ◽  
Till Mossakowski ◽  
Florian Rabe

scholarly journals Adaptable Transition Systems

2013 ◽  
pp. 95-110 ◽  
Author(s):  
Roberto Bruni ◽  
Andrea Corradini ◽  
Fabio Gadducci ◽  
Alberto Lluch Lafuente ◽  
Andrea Vandin
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document