Sere, K. (Kaisa), 1954-
Sere, Kaisa, 1954-....
Sere, K. 1954-
Sere, Kaisa
Kaisa Sere Finnish computer scientist
Sere, K. (Kaisa)
VIAF ID: 38689559 ( Personal )
Permalink: http://viaf.org/viaf/38689559
Preferred Forms
- 100 0 _ ‡a Kaisa Sere ‡c Finnish computer scientist
- 100 1 _ ‡a Sere, K. ‡d 1954-
- 100 1 _ ‡a Sere, K. ‡q (Kaisa)
-
-
-
- 100 1 _ ‡a Sere, K. ‡q (Kaisa), ‡d 1954-
-
- 100 1 _ ‡a Sere, Kaisa, ‡d 1954-....
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
Dependability and computer engineering : concepts for software-intensive systems | |
Integrated Formal Methods : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings | |
Mechanising proofs of program transformation rules | |
Program development by refinement : case studies using the B method | |
Stepwise development of hybrid systems | |
Stepwise refinement of reactive processor farms | |
Superposition refinement of parallel algorithms |