Sign in
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Sign in
Welcome!
Log into your account
your username
your password
Forgot your password?
Password recovery
Recover your password
your email
Search
Sign in
Welcome! Log into your account
your username
your password
Forgot your password? Get help
Password recovery
Recover your password
your email
A password will be e-mailed to you.
SigSand
planning - designing - developing IT
Special Interest Group on Systems Analysis and Design
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Home
Tags
Amel Mammar
Tag: Amel Mammar
A systematic approach to generate B preconditions: application to the database domain
sigsand
-
October 29, 2020
0
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method
sigsand
-
October 22, 2020
0
