Lecture Notes in Computer Science - International Symposium on Fundamentals of Software Engineering
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540756972, 9783540756989
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Hoare Logic for ARM Machine Code

2007 ◽  
pp. 272-286 ◽  
Author(s):  
Magnus O. Myreen ◽  
Anthony C. J. Fox ◽  
Michael J. C. Gordon
Keyword(s):  
Hoare Logic ◽  
Machine Code

Vulnerability Analysis in VGBPS Using Prolog

2007 ◽  
pp. 404-411
Author(s):  
Mohammad Ebrahim Rafiei ◽  
Mohsen Taherian ◽  
Hamid Mousavi ◽  
Ali Movaghar ◽  
Rasool jalili
Keyword(s):  
Vulnerability Analysis

scholarly journals Zone-Based Universality Analysis for Single-Clock Timed Automata

2007 ◽  
pp. 98-112 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Joël Ouaknine ◽  
Karin Quaas ◽  
James Worrell
Keyword(s):  
Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document