Damir Jamsek (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Mark Bickford, Damir Jamsek: Formal Specification and Verification of VHDL. FMCAD 1996: 310-326

Selection of 1 from 5 records - Damir Jamsek has 18 coauthors