Author: World Congress On Formal Methods In The Development Of Computing Systems (1999 Toulouse%2c France)
Author's info and books
Information about author World Congress On Formal Methods In The Development Of Computing Systems (1999 Toulouse%2c France) from several data sources.