Travelled to:
1 × Italy
Collaborated with:
M.Alpuente D.Ballis F.Frechina
Talks about:
ijulienn (1) analysi (1) specif (1) rewrit (1) trace (1) slice (1) logic (1) base (1)
Person: Julia Sapiña
DBLP: Sapi=ntilde=a:Julia
Contributed to:
Wrote 1 papers:
- ESOP-2013-AlpuenteBFS #analysis #logic #specification
- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.