Inproceedings,

Parametric Exploration of Rewriting Logic Computations.

, , , and .
SCSS, volume 15 of EPiC Series in Computing, page 4-18. EasyChair, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews