DMCA

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) ProB: An Automated Analysis Toolset for the B Method ⋆ (2007)

Cached

Download Links

by Michael Leuschel , Michael Butler