Sergey Berezin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

14 Clark W. Barrett, Sergey Berezin: CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. CAV 2004: 515-518

Selection of 1 from 16 records - Sergey Berezin has 19 coauthors