Jin Song Dong

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Jin Song Dong

Variants

Dong, J.
Jin, S.D.
Dong, J.-S.
Song Dong, J.
Dong, J.S.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsdjs@nus.edu.sg

Refined By:

Department: DEPARTMENT OF COMPUTER SCIENCE

Type: Conference Paper

Subject: Object-Z

Subject: Software Specification

Results 1-1 of 1 (Search time: 0.003 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

		Issue Date	Title	Author(s)
	1	2005	Extracting FSMs from object-Z specifications with history invariants	Sun, J. ; Dong, J.S.