|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 1 publication records. Showing 1 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung |
A visual programming environment for Z specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 511-512, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment |
Displaying result #1 - #1 of 1 (100 per page; Change: )
|
|