Вы здесь

Francez N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Fairness and the Axioms of Control Predicates 1987 Francez N., Katz S. Intern. J. Parallel Programming 30.05.1995
СТ Cooperating-Proofs for Distributed Programs with Multy-Party Interactions 1989 Francez N. J.W. de Bakker, 25 Jaar Semantiek 04.10.1995
СТ Program Composition and Modular Verification 1991 Fix L., Francez N., Grumberg O. Lecture Notes in Computer Science 11.09.1991
СТ A Logic-Based Approach to Program Flow Analysis 1998 Sagiv M., Francez N., Rodeh M., Wilheln R. Acta Informatica 11.08.1998