Logics and Languages for Reliability and Security
Publisher: IOS Press, Incorporated
Published: 2010
Language: eng
ISBN-13: 9781607501008