Кондратьев Д.А. Промский А.В.
Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики
Reporter: Кондратьев Д.А.
To reports list
- Invitation
- Important dates
- Program committee
- Organizing committee
- Scientific program
- POSTERS
- Registration fee
- Abstract submission
- Previous conferences
- Venue
- Participants
- Reports
- Registration/Login
To reports list