Computer (IEEE)
A conference, workshop or journal: the thing that recurs, across all its years.
The IEEE Computer Society's general-audience monthly, covering the whole field at survey depth. Written to be read across specialities, which is why the classic overview of a topic is often a Computer article.
https://www.computer.org/csdl/magazine/co
4 references
Really rethinking `formal methods'
David Lorge Parnas (2010) · Computer
Applying 'design by contract'
Bertrand Meyer (1992) · Computer
A specifier's introduction to formal methods
J. M. Wing (1990) · Computer
Hardware description languages: voices from the Tower of Babel
G. Jack Lipovski (1977) · Computer