Program Synthesis: The Next Step to Program Implementation

Chi-Ping Tsang

Research output: Chapter in Book/Conference paper › Conference paper

Original language	English
Title of host publication	1994 Western Australian Computer Science Symposium
Place of Publication	Perth, Western Australia
Publisher	The University of Western Australia
Pages	33-33
Volume	1
Publication status	Published - 1994
Event	Program Synthesis: The Next Step to Program Implementation - Duration: 1 Jan 1994 → …

Conference	Program Synthesis: The Next Step to Program Implementation
Period	1/01/94 → …

Cite this

@inproceedings{66ca06f9aecf4eaba568c5b6b5f14b03,

title = "Program Synthesis: The Next Step to Program Implementation",

author = "Chi-Ping Tsang",

year = "1994",

language = "English",

volume = "1",

pages = "33--33",

booktitle = "1994 Western Australian Computer Science Symposium",

publisher = "The University of Western Australia",

address = "Australia",

note = "Program Synthesis: The Next Step to Program Implementation ; Conference date: 01-01-1994",

}

TY - GEN

T1 - Program Synthesis: The Next Step to Program Implementation

AU - Tsang, Chi-Ping

PY - 1994

Y1 - 1994

M3 - Conference paper

VL - 1

SP - 33

EP - 33

BT - 1994 Western Australian Computer Science Symposium

PB - The University of Western Australia

CY - Perth, Western Australia

T2 - Program Synthesis: The Next Step to Program Implementation

Y2 - 1 January 1994

ER -