Content deleted Content added
Citation bot (talk | contribs) m Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. |
|||
Line 10:
<math>\eta</math>(<math>\theta</math>(abstract)) = abstract <br/>
<math>\theta</math>(<math>\eta</math>(real)) <math>\
==Abstraction refinement loop==
| |||