Tool support for formal software development: A generic architecture Chapter uri icon

publication date

  • January 1, 1995

start page

  • 272

end page

  • 293