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:https://doi.org/10.1109/32.485225)

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:https://doi.org/10.1109/TSE.2019.2948351)

This list was generated on Wed Nov 20 16:44:50 2019 UTC.