Author: "Idani, Akram" / Journal: formal methods in system design - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Idani, Akram"' showing total 2 results

Start Over Author "Idani, Akram" Journal formal methods in system design

2 results on '"Idani, Akram"'

1. Object oriented concepts identification from formal B specifications

Author: Idani, Akram and Ledru, Yves
Published: 2007

2. Object oriented concepts identification from formal B specifications

Author: Idani, Akram, primary and Ledru, Yves, additional
Published: 2006
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results