Expressing Iterative Properties Logically in a Symbolic Setting - Archive ouverte HAL Access content directly
Conference Papers Year : 2004

Expressing Iterative Properties Logically in a Symbolic Setting

Lionel Morel
Carron Shankland
  • Function : Author
Jeremy Bryans
  • Function : Author

Dates and versions

hal-00293252 , version 1 (04-07-2008)

Identifiers

Cite

Lionel Morel, Carron Shankland, Jeremy Bryans. Expressing Iterative Properties Logically in a Symbolic Setting. International Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004, United Kingdom. pp.460-474, ⟨10.1007/b98770⟩. ⟨hal-00293252⟩
9 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More