Book,

BE4: The B Extensible Eclipse Editing Environment

, and .
(2006)
DOI: 10.1007/11955757_27

Meta data

Tags

Users

  • @leonardo

Comments and Reviews