Event-B Generic Instantiation Reviews

A Rodin Platform Plug-in for Generic Instantiation

Status: Alpha

Brought to you by: fuersta, hitachi-ethz, naotosato, tshoang

Downloads: 0 This Week

Last Update: 2015-09-09

Rate This Project

Featured

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free