TPTP Reference: Woj83

1 entry with key starting “Woj83”. Plain BibTeX

@InProceedings{Woj83,
    Author       = "Wojcik, A.S.",
    Year         = "1983",
    Title        = "{Formal Design Verification of Digital Systems}",
    BookTitle    = "{Proceedings of the 20th Design Automation Conference}",
    Comment      = "TPTPRef"
}