A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction
-
Published:2014
Issue:1
Volume:24
Page:1-46
-
ISSN:2248-2695
-
Container-title:Scientific Annals of Computer Science
-
language:
-
Short-container-title:SACS
Author:
Aiguier Marc,Kanso Bilal
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science