1
Published 2011
Springer Berlin Heidelberg
Table of Contents: ...Information Technologies in Environmental Engineering -- Formal Methods and Data Processing...

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Sustainability indicators: development and application -- Formal methods for organization’s...

3
Published 1989
Springer US
Table of Contents: ... -- 7 References l -- 10: Use of Formal Methods in Evaluating Countermeasures to Coastal Water Pollution...