Title :
An approach to abstract specification based on traces
Author_Institution :
University of Texas at Austin
Keywords :
Electrical capacitance tomography; Erbium; Flyback transformers; Programming profession; Radio access networks;
Conference_Titel :
Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
DOI :
10.1109/CMPSAC.1979.762478
