Travelled to:
1 × Italy
Collaborated with:
M.Vakilian M.D.Ernst R.E.Johnson
Talks about:
programm (1) univers (1) qualifi (1) cascad (1) assist (1) infer (1) type (1) tool (1)
Person: Amarin Phaosawasdi
DBLP: Phaosawasdi:Amarin
Contributed to:
Wrote 1 papers:
- ICSE-v1-2015-VakilianPEJ #named
- Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.