On teaching software engineering based on formal techniques

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

thoughts about and plans for a different software engineering text book peter Lucas Farewell Symposium

Original language	English
Journal	Journal of Universal Computer Science
Volume	7
Issue number	8
Pages (from-to)	641-667
ISSN	0948-695X
Publication status	Published - 2001

@article{d6ab2b846a2a477097b25442c8e3cf7a,

title = "On teaching software engineering based on formal techniques",

abstract = "thoughts about and plans for a different software engineering text book peter Lucas Farewell Symposium",

author = "Dines Bj{\o}rner",

year = "2001",

language = "English",

volume = "7",

pages = "641--667",

journal = "Journal of Universal Computer Science",

issn = "0948-695X",

publisher = "Institut fuer Informationssysteme und Computer Medien",

number = "8",

}

TY - JOUR

T1 - On teaching software engineering based on formal techniques

AU - Bjørner, Dines

PY - 2001

Y1 - 2001

N2 - thoughts about and plans for a different software engineering text book peter Lucas Farewell Symposium

AB - thoughts about and plans for a different software engineering text book peter Lucas Farewell Symposium

M3 - Journal article

SN - 0948-695X

VL - 7

SP - 641

EP - 667

JO - Journal of Universal Computer Science

JF - Journal of Universal Computer Science

IS - 8

ER -