mirror of
https://github.com/amyjko/cooperative-software-development
synced 2024-12-25 21:58:15 +01:00
Updated name.
This commit is contained in:
parent
15f634a369
commit
8c96b67ea2
1 changed files with 1 additions and 1 deletions
|
@ -25,7 +25,7 @@
|
|||
<small>Credit: public domain</small>
|
||||
|
||||
<h1>Verification</h1>
|
||||
<div class="lead">Andrew J. Ko</div>
|
||||
<div class="lead">Amy J. Ko</div>
|
||||
|
||||
<p>How do you know a program does what you intended?</p>
|
||||
|
||||
|
|
Loading…
Reference in a new issue