AutoFocus — A tool for distributed systems specification Chapter uri icon

publication date

  • January 1, 1996

start page

  • 467

end page

  • 470