An object-oriented airport: Specification and refinement in Maude Chapter uri icon

publication date

  • January 1, 1995

start page

  • 351

end page

  • 367