Editorial: Formale Methoden in der Praxis

Translated title of the contribution: Formal methods in practice

Research output: Contribution to journal › Editorial

Translated title of the contribution	Formal methods in practice
Original language	German
Pages (from-to)	5-6
Number of pages	2
Journal	IT - Information Technology
Volume	39
Issue number	3
DOIs	https://doi.org/10.1524/itit.1997.39.3.5
State	Published - Mar 1997

Access to Document

@article{af92d6cc287a4a6b9863a362dea351dc,

title = "Editorial: Formale Methoden in der Praxis",

author = "Manfred Broy",

year = "1997",

month = mar,

doi = "10.1524/itit.1997.39.3.5",

language = "Deutsch",

volume = "39",

pages = "5--6",

journal = "IT - Information Technology",

issn = "1611-2776",

publisher = "De Gruyter Oldenbourg",

number = "3",

}

TY - JOUR

T1 - Editorial

T2 - Formale Methoden in der Praxis

AU - Broy, Manfred

PY - 1997/3

Y1 - 1997/3

UR - http://www.scopus.com/inward/record.url?scp=85117215054&partnerID=8YFLogxK

U2 - 10.1524/itit.1997.39.3.5

DO - 10.1524/itit.1997.39.3.5

M3 - Leitartikel

AN - SCOPUS:85117215054

SN - 1611-2776

VL - 39

SP - 5

EP - 6

JO - IT - Information Technology

JF - IT - Information Technology

IS - 3

ER -