Stem specifiact$ (all stems)
2 papers:
AdaEurope-1999-LopezVV #ada #design #embedded #hardware #using- Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
CADE-1980-GuihoG #synthesis- Program Synthesis from Incomplete Specifiactions (GDG, CG), pp. 53–62.










