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.