*Result*: Software engineering
*Title*:
Software engineering / D. Bjørner
*Author/editor-in-chief*:
*Publication*:
Berlin [u.a.] : Springer
*Format*:
*Language*:
*eng*
*series_multipart*:
Texts in theoretical computer science
*volumes*:
*RVK-Notation*:
*Subject Added Keywords*:
*L1_Classifications*: