[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Automatic error location for IN service definition
- 作者Margaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim
- 文件大小2071.88KB
- 发表时间1998
- DOI10.1007/BFb0053508
- 页码222-237
[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || “The semantics of the C programming language”Börger, Egon; Gurevich, Yuri; Meinke, Karl · 1994
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Verification-Oriented Language C-Light and Its Structural Operational SemanticsBroy, Manfred; Zamulin, Alexandre V. · 2003
An approach to systems correctnessKahn, Gilles · ACM SIGOPS Operating Systems Review · 1972
Real theorem provers deserve real user-interfacesThéry, Laurent; Bertot, Yves; Kahn, Gilles · ACM SIGSOFT Software Engineering Notes · 1992
Analysis of fibrinogen genes in patients with congenital afibrinogenemiaGeorges Uzan; Gilles Courtois; Claude Besmond; Monique Frain; José Sala-Trepat; Axel Kahn; Gérard Marguerie · 1984
Rheumatoid nodulosis. Two cases with destructive polyarthritis after 20 yearsFabienne Roux; Marie-José Wattiaux; Gilles Hayem; Elisabeth Palazzo; Marcel-Francis Kahn; Olivier Meyer · 2006
[Lecture Notes in Computer Science] Semantics of Concurrent Computation Volume 70 || Adequate path expressionsKahn, Gilles · 1979
Monoarthritis secondary to joint metastasis. Two case reports and literature reviewMohamed Younes; Gilles Hayem; Philippe Brissaud; Maggy Grossin; Marcel-Francis Kahn; Olivier Meyer · 2002
[Lecture Notes in Computer Science] Semantics of Concurrent Computation Volume 70 || On achieving distributed terminationKahn, Gilles · 1979
[Lecture Notes in Computer Science] Semantics of Concurrent Computation Volume 70 || Principles for distributing programsKahn, Gilles · 1979