Browsing Computer Science by Author "Lalwani, Prakash"

OpenBU

Browsing Computer Science by Author "Lalwani, Prakash"

Sort by: Order: Results:

  • Lapets, Andrei; Lalwani, Prakash; Kfoury, Assaf (CS Department, Boston University, 2010-05-14)
    The usability of verification systems is becoming increasingly important, and the effective integration of ontologies of formal facts (definitions, propositions, and syntactic idioms) into machine verification systems will ...

Search OpenBU


Advanced Search

Browse

Deposit Materials