STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Frederic Boniol | lit.salon
Frederic Boniol
No bio available.
Add one in Open Library.
Books by Frederic Boniol (50 max)
+ shelf
+ list
ABZ 2014 : the Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
2014
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
