Specification and Refinement of Hardware Components in B

2006 ◽  
pp. 315-325
Author(s):  
Stefan Hallerstede
Sign in / Sign up

Export Citation Format

Share Document