BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × USA
Collaborated with:
M.Huth M.E.Majster-Cederbaum N.Zhan
Talks about:
abstract (2) action (2) precis (1) partit (1) refin (1) point (1) model (1) logic (1) check (1) view (1)

Person: Harald Fecher

DBLP DBLP: Fecher:Harald

Contributed to:

VMCAI 20082008
VMCAI 20072007
VMCAI 20032003

Wrote 3 papers:

VMCAI-2008-FecherH #abstraction #model checking
Model Checking for Action Abstraction (HF, MH), pp. 112–126.
VMCAI-2007-FecherH #abstraction #precise
More Precise Partition Abstractions (HF, MH), pp. 167–181.
VMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement
Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.