VIAF

Virtual International Authority File

Search

Sere, K. (Kaisa), 1954- Library and Archives Canada National Library of Israel Library of Congress/NACO

Sere, Kaisa, 1954-.... Sudoc [ABES], France

Sere, K. 1954- ISNI

Sere, Kaisa BIBSYS

Kaisa Sere Finnish computer scientist Wikidata

Sere, K. (Kaisa) National Library of the Netherlands

VIAF ID: 38689559 (Personal)

Permalink: http://viaf.org/viaf/38689559

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (11)

Open Section Close SectionWorks

Title Sources
Dependability and computer engineering : concepts for software-intensive systems Library of Congress/NACO
IFM 2002 National Library of the Netherlands
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings BIBSYS National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Mechanising proofs of program transformation rules National Library of the Netherlands
Program development by refinement case studies using the B method BIBSYS Library and Archives Canada National Library of Israel Sudoc [ABES], France Library of Congress/NACO
Stepwise refinement of reactive processor farms National Library of the Netherlands
Superposition refinement of parallel algorithms BIBSYS National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

Open Section Close Section History of VIAF ID:38689559 (13)