New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

merge Classical B with Event-B on the methods site #29

Open

araschke opened this issue Jan 28, 2022 · 1 comment

Assignees

Milestone

Member

araschke commented Jan 28, 2022 •

edited

Loading

text provided by Yamine

araschke self-assigned this

Member Author

araschke commented Aug 12, 2022

ping Yamine for the text.

araschke mentioned this issue

shorten the ASM-website #46

Closed

araschke added this to the Version 1 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment