3 results on '"Idani, Akram"'
Search Results
2. Alliance of model-driven engineering with a proof-based formal approach
Catalog
Books, media, physical & digital resources
3. Object oriented concepts identification from formal B specifications
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.