Logics of Specification Languages

ISBN: 978-3-540-74106-0 (Print) 978-3-540-74107-7 (Online)