Showing 1 - 1 results of 1 for search 'Boniol, Frédéric', query time: 0.01s Refine Results
  1. 1
    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 /
    Published 2014
    Other Authors: “…Boniol, Frédéric…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search