Logics and languages for reliability and security /
Includes index
Main Authors: | , , |
---|---|
Format: | |
Language: | eng |
Published: |
Washington, D.C. : IOS Press,
2010
|
Subjects: |
Includes index
Main Authors: | , , |
---|---|
Format: | |
Language: | eng |
Published: |
Washington, D.C. : IOS Press,
2010
|
Subjects: |