Cited By
View all- Fisher GJohnson CClear ACuadros-Vargas ECarter JTupac Y(2016)Making Formal Methods More Relevant to Software Engineering Students via Automated Test GenerationProceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education10.1145/2899415.2899424(224-229)Online publication date: 11-Jul-2016
- Walters R(1990)Design of a Bitmapped Multilingual WorkstationComputer10.1109/2.4490123:2(33-41)Online publication date: 1-Feb-1990
- Beshers CFeiner SSibert J(1989)Scope: automated generation of graphical interfacesProceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology10.1145/73660.73670(76-85)Online publication date: 13-Nov-1989