Semantical Analysis of Specification Logic 3: An Operational Approach

Dan Ghica; DA Schmidt

Semantical Analysis of Specification Logic 3: An Operational Approach

Computer Science

Research output: Contribution to conference (unpublished) › Paper

1 Citation (Scopus)

Original language	English
Pages	264-278
Number of pages	15
Publication status	Published - 1 Jan 2004
Event	Programming Languages and Systems, 13th European Symposium on Programming (ESOP 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004) - Duration: 1 Jan 2004 → …

Conference

Conference	Programming Languages and Systems, 13th European Symposium on Programming (ESOP 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004)
Period	1/01/04 → …

Cite this

@conference{1373d450b2ca453bb9eefc91c8833876,

title = "Semantical Analysis of Specification Logic 3: An Operational Approach",

author = "Dan Ghica and DA Schmidt",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "264--278",

note = "Programming Languages and Systems, 13th European Symposium on Programming (ESOP 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004) ; Conference date: 01-01-2004",

}

Semantical Analysis of Specification Logic 3: An Operational Approach. / Ghica, Dan; Schmidt, DA.
2004. 264-278 Paper presented at Programming Languages and Systems, 13th European Symposium on Programming (ESOP 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004).

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Semantical Analysis of Specification Logic 3: An Operational Approach

AU - Ghica, Dan

AU - Schmidt, DA

PY - 2004/1/1

Y1 - 2004/1/1

M3 - Paper

SP - 264

EP - 278

T2 - Programming Languages and Systems, 13th European Symposium on Programming (ESOP 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004)

Y2 - 1 January 2004

ER -