136 search results - page 28 / 28 » Verification of Object Oriented Programs Using Class Invaria... |
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...