From 35c57cd901d8cad3a3132e315b5cbfe48b9596b3 Mon Sep 17 00:00:00 2001 From: Daniel Patterson Date: Tue, 2 Apr 2019 09:44:07 -0400 Subject: [PATCH] Add CRN --- courses/verifcomp.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/verifcomp.markdown b/courses/verifcomp.markdown index c66d252..cd705f1 100644 --- a/courses/verifcomp.markdown +++ b/courses/verifcomp.markdown @@ -3,7 +3,7 @@ title: "Verified Compilers and Multi-Language Software" --- ------- ------- -Course CS4910: Verified Compilers and Multi-Language Software +Course CS4910 (CRN 17946): Verified Compilers and Multi-Language Software Semester Fall 2019 Meeting Monday/Thursday, 11:45AM-1:25PM Instructor Daniel Patterson ([dbp@dbpmail.net](mailto:dbp@dbpmail.net))