This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

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

5 references

Really rethinking ‘formal methods’
David Lorge Parnas (2010) · Computer
Investigating the influence of formal methods
S. L. Pfleeger and others (1997) · Computer · IEEE
Applying 'design by contract'
Bertrand Meyer (1992) · Computer · IEEE Computer Society
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society
Hardware description languages: voices from the Tower of Babel
G. Jack Lipovski (1977) · Computer