DSpace Repository

Browsing Technical Reports by Author "J. S. DONG"

Browsing Technical Reports by Author "J. S. DONG"

Sort by: Order: Results:

  • J. SUN; J. S. DONG; J. LIU; H. WANG (2001-01-01)
    Recent effort and success in formal methods have been concentrated on building 'heavy' tools support, such as theorem provers and model checkers. Although those tools are essential and important for applications of formal ...

Search DSpace


Browse

My Account