Travelled to:
1 × Latvia
1 × USA
Collaborated with:
F.Belli O.Jack
Talks about:
determin (2) reliabl (2) program (2) prolog (2) implement (1) orient (1) test (1)
Person: Alireza Azem
DBLP: Azem:Alireza
Contributed to:
Wrote 2 papers:
- SEKE-1994-AzemB #prolog #reliability #source code
- Reliability determination of Prolog programs (AA, FB), pp. 422–429.
- SEKE-1993-AzemBJ #prolog #reliability #source code #testing
- Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.