You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos

Price: EUR 27.50