Skip navigation

Browse by Journal Title

Browse by Journal Title

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | Uncontrolled Keywords | No Grouping
Number of items: 2.

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:

Giovanni, Liva, Khan, Muhammad Taimoor, Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press) (doi:

This list was generated on Wed Jul 15 18:21:05 2020 UTC.