OpenBU

Browsing Computer Science by Subject "Verification"

OpenBU

Browsing Computer Science by Subject "Verification"

Sort by: Order: Results:

  • Lapets, Andrei (Boston University Computer Science Department, 2009-04-30)
    In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and ...

Search OpenBU


Browse

Deposit Materials

Statistics