This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Formal Methods Europe

@fme@mastodon.acm.org

Joined: 04/26/2023



About Formal Methods Europe

Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

Lists

fme has no public lists

Timeline

fme has no activity yet