Skip to content

keeping simple

@vy@mastodon.social

Updated Dijkstra vs Perlis (really, DeMillo)

November 25, 2008 yodaiken software security

See below.

dijkstraformal methodssoftware engineeringverification

Post navigation

Previous Post:Costs of not building security into the system
Next Post:the male weirdness of computer science
WordPress Theme: Gridbox by ThemeZee.