Browsing by Author "Dong, Jin Song"

Now showing items 1-1 of 1

  • ZML:XML support for standard Z.

    Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David (2002-12-01)
    This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is based upon a comparison ...

Jin Song Dong has 6 co-authors in Research Commons.