Computer Aided Verification: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

11 May 2025

  • curprev 01:1601:16, 11 May 2025 imported>Citation bot 4,289 bytes +4,289 Altered template type. Add: isbn, volume, series. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Computer_Aided_Verification"