Voltar
Livro Acesso aberto Revisado por pares
BIBTEX RIS

Temporal Logic in Specification

1989; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-51803-7

ISSN

1611-3349

Autores

D Barstow, W Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, Amir Pnueli, G Seegm, Josef Stoer, Niklaus Wirth, Behnam Banieqbal, Howard Barringer,

Tópico(s)

Logic, programming, and type systems

Referência(s)